BDIOCTL: Obligations and the Specification of Agent Behavior
نویسندگان
چکیده
Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff’s BDICTL. In Section 2 we extend BDICTL with so-called Standard Deontic Logic, and in Section 3 and 4 we introduce various single agent and multiagent properties.
منابع مشابه
Obligations and the Specification of Agent Behavior
Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff's B D I C T L In Section 2 we extend B D I C T L with so-called ...
متن کاملGame Specification in the Trias Politica
In this paper we formalize the specification of games in the trias politica using Rao and Georgeff’s specification language BDICTL*. In particular, we generalize Rao and Georgeff’s specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, calle...
متن کاملA Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abstract actions relative to deontic specifications. The deontic specifications are prohibition, permission, and obligation. The concepts of deontic specifications are derived from Standard Deontic Logic and Dynamic Deont...
متن کاملPredicting the Use of Masks in the COVID-19 Based on the Systems Thinking, Personal - Social Responsibility, Moral Obligations and Individualism: An Approach of Consumer Behavior Theory
Since the release of COVID-19 epidemic in late December 2020, recommendations issued for personal protection by the World Health Organization and National Health Organizations around the world. The most prominent of which has the use of masks to prevent the spread of the virus. Despite the importance of this solution, many people still resist using the mask. Therefore, this study, by emphasizin...
متن کاملروشهای مدلسازی تطوری در اقتصاد (با تاکید بر عناصر مشترک سازنده آنها)
In this paper we have tried mention to some sort of thewell-known evolutionary modeling approaches in economic territory such as Multi Agent simulations, Evolutionary Computation and Evolutionary Game Theory. As it has been mentioned in the paper, in recent years, the number of Evolutionary contributions applied to Multi-Agent models increased remarkably. However until now there is no consensus...
متن کامل